Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is white. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is white. If something is furry then it is big. Furry things are nice.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Fiona is cold.
True
1
proof
[(triple8)]
("Fiona" "is" "cold" "+")
triple8
Fiona is not cold.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "cold" "-")
triple8
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is big.[(triple1 OR ((triple3) -> rule1))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5 OR ((triple3) -> rule2))] Charlie is white.[(triple6)] Fiona is big.[(triple7 OR ((triple9) -> rule1))] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11 OR ((triple9) -> rule2))] Fiona is white.[(triple12)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple3) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
((triple9) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
((triple9) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple12