Bob is rough. Bob is white. Charlie is cold. Charlie is rough. Erin is rough. Erin is round. Erin is white. Fiona is furry. Fiona is round. Fiona is white. If Charlie is white and Charlie is rough then Charlie is nice. If Fiona is rough and Fiona is cold then Fiona is white. All green, white people are furry.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Charlie is white and Charlie is rough then Charlie is nice.
((("Charlie" "is" "white" "+") ("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "nice" "+"))
If Fiona is rough and Fiona is cold then Fiona is white.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "white" "+"))
All green, white people are furry.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Charlie is cold.
True
1
proof
[(triple3)]
("Charlie" "is" "cold" "+")
triple3
Charlie is not rough.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "rough" "-")
triple4
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "furry" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is rough.[(triple1)] Bob is white.[(triple2)] Charlie is cold.[(triple3)] Charlie is rough.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)] Fiona is furry.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10