Bob is furry. Bob is not green. Bob is round. Bob is white. Charlie is green. Charlie is not round. Charlie is smart. Erin is not cold. Erin is not furry. Erin is green. Erin is rough. Erin is round. Erin is not white. Fiona is cold. Fiona is green. Smart things are white.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
Fiona is cold.
True
1
proof
[(triple14)]
("Fiona" "is" "cold" "+")
triple14
Erin is cold.
False
1
inv-proof
[(triple8)]
("Erin" "is" "cold" "+")
triple8
Charlie is white.
True
2
proof
[(((triple7) -> rule1))]
("Charlie" "is" "white" "+")
((triple7) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple7) -> rule1))]
("Charlie" "is" "white" "-")
((triple7) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is furry.[(triple1)] Bob is not green.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4)] Charlie is green.[(triple5)] Charlie is not round.[(triple6)] Charlie is smart.[(triple7)] Erin is green.[(triple10)] Erin is not cold.[(triple8)] Erin is not furry.[(triple9)] Erin is not white.[(triple13)] Erin is rough.[(triple11)] Erin is round.[(triple12)] Fiona is cold.[(triple14)] Fiona is green.[(triple15)] @1: Charlie is white.[(((triple7) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is not round.
("Charlie" "is" "round" "-")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is not cold.
("Erin" "is" "cold" "-")
triple8
Erin is not furry.
("Erin" "is" "furry" "-")
triple9
Erin is not white.
("Erin" "is" "white" "-")
triple13
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is round.
("Erin" "is" "round" "+")
triple12
Fiona is cold.
("Fiona" "is" "cold" "+")
triple14
Fiona is green.
("Fiona" "is" "green" "+")
triple15
Charlie is white.
("Charlie" "is" "white" "+")
((triple7) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1