Anne is blue. Anne is young. Bob is big. Bob is blue. Bob is green. Dave is big. Dave is kind. Dave is round. Harry is big. Harry is cold. Young, kind things are round. All kind, green things are big. If something is young then it is cold.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Young, kind things are round.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All kind, green things are big.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If something is young then it is cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Bob is not blue.
False
1
inv-proof
[(triple4)]
("Bob" "is" "blue" "-")
triple4
Anne is cold.
True
2
proof
[(((triple2) -> rule3))]
("Anne" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple2) -> rule3))]
("Anne" "is" "cold" "-")
((triple2) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is young.[(triple2)] Bob is big.[(triple3)] Bob is blue.[(triple4)] Bob is green.[(triple5)] Dave is big.[(triple6)] Dave is kind.[(triple7)] Dave is round.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] @1: Anne is cold.[(((triple2) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Anne is cold.
("Anne" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1