Anne is blue. Anne is green. Anne is rough. Anne is round. Anne is smart. Anne is white. Harry is blue. Harry is green. Harry is kind. Harry is white. All green, blue people are smart. Blue people are white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
All green, blue people are smart.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Blue people are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
Anne is round.
True
1
proof
[(triple4)]
("Anne" "is" "round" "+")
triple4
Harry is not blue.
False
1
inv-proof
[(triple7)]
("Harry" "is" "blue" "-")
triple7
Harry is smart.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Harry" "is" "smart" "+")
((triple8 triple7) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Harry" "is" "smart" "-")
((triple8 triple7) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple2 triple1) -> rule1))] Anne is white.[(triple6 OR ((triple1) -> rule2))] Harry is blue.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is white.[(triple10 OR ((triple7) -> rule2))] @1: Harry is smart.[(((triple8 triple7) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple2 triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple1) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple7) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple8 triple7) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1