Charlie is blue. Charlie is round. Dave is kind. Harry is blue. Harry is cold. Harry is not kind. Harry is not round. All round, green people are cold. If someone is kind then they are not cold. Cold, round people are blue. All kind, round people are blue. If someone is green then they are blue. If someone is round and not green then they are big. All blue people are furry. If Charlie is not round and Charlie is not big then Charlie is blue.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is not round.
("Harry" "is" "round" "-")
All round, green people are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind then they are not cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
Cold, round people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All kind, round people are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and not green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "big" "+"))
All blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Charlie is not round and Charlie is not big then Charlie is blue.
((("Charlie" "is" "round" "~") ("Charlie" "is" "big" "~")) -> ("Charlie" "is" "blue" "+"))
Harry is blue.
True
1
proof
[(triple4)]
("Harry" "is" "blue" "+")
triple4
Harry is not blue.
False
1
inv-proof
[(triple4)]
("Harry" "is" "blue" "-")
triple4
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is blue.[(triple1)] Charlie is round.[(triple2)] Dave is kind.[(triple3)] Harry is blue.[(triple4)] Harry is cold.[(triple5)] Harry is not kind.[(triple6)] Harry is not round.[(triple7)] @1: Charlie is furry.[(((triple1) -> rule7))] Dave is not cold.[(((triple3) -> rule2))] Harry is furry.[(((triple4) -> rule7))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is not kind.
("Harry" "is" "kind" "-")
triple6
Harry is not round.
("Harry" "is" "round" "-")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple1) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Dave is not cold.
("Dave" "is" "cold" "-")
((triple3) -> (rule2 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple4) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1