Charlie is big. Charlie is white. Erin is big. Erin is blue. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Erin is white. Fiona is big. Fiona is round. Harry is blue. Harry is rough. Harry is round. Harry is smart. If Fiona is big then Fiona is white. All white, quiet people are smart.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Fiona is big then Fiona is white.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "white" "+"))
All white, quiet people are smart.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
Charlie is big.
True
1
proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Charlie is not big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Charlie is big.[(triple1)] Charlie is white.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8 OR ((triple9 triple5) -> rule2))] Erin is white.[(triple9)] Fiona is big.[(triple10)] Fiona is round.[(triple11)] Harry is blue.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Fiona is white.[(((triple10) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
((triple9 triple5) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
((triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1