Charlie is blue. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is smart. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. If something is nice then it is smart.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If something is nice then it is smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Charlie is furry.
True
1
proof
[(triple2)]
("Charlie" "is" "furry" "+")
triple2
Fiona is not nice.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "nice" "-")
triple9
Fiona is smart.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "smart" "+")
((triple9) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "smart" "-")
((triple9) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] @1: Fiona is smart.[(((triple9) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple9) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1