Fiona is big. Fiona is furry. Fiona is round. Cold, smart people are white. If someone is big and smart then they are white. Round, cold people are furry. If someone is furry and white then they are nice. White people are smart. If Fiona is smart and Fiona is big then Fiona is nice.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Cold, smart people are white.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is big and smart then they are white.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Round, cold people are furry.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and white then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is smart and Fiona is big then Fiona is nice.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "nice" "+"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "round" "-")
triple3
Fiona is not white.
Unknown
inv-rconc
[@3: Fiona is white.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is round.[(triple3)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3