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