Anne is round. Charlie is round. Fiona is white. Harry is red. All big, smart people are furry. Round, furry people are white. White people are blue. Round, red people are smart. If someone is red and round then they are big. All red people are white. If someone is round then they are blue. Red, big people are white.
Anne is round.
("Anne" "is" "round" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is red.
("Harry" "is" "red" "+")
All big, smart people are furry.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Round, furry people are white.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
White people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Round, red people are smart.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If someone is red and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If someone is round then they are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Red, big people are white.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Harry is red.
True
1
proof
[(triple4)]
("Harry" "is" "red" "+")
triple4
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Anne is not white.
Unknown
inv-rconc
[@3: Anne is white.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule5 <- FAIL)]]
("Anne" "is" "white" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is round.[(triple1)] Charlie is round.[(triple2)] Fiona is white.[(triple3)] Harry is red.[(triple4)] @1: Anne is blue.[(((triple1) -> rule7))] Charlie is blue.[(((triple2) -> rule7))] Fiona is blue.[(((triple3) -> rule3))] Harry is white.[(((triple4) -> rule6))] @2: Harry is blue.[(((((triple4) -> rule6)) -> rule3))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple4
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple4) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2