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