Charlie is blue. Charlie is red. Erin is cold. Erin is white. Erin is young. Fiona is smart. Fiona is white. Harry is cold. Harry is kind. Harry is smart. Smart people are white. If someone is red then they are white.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Smart people are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is red then they are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Harry is cold.
True
1
proof
[(triple8)]
("Harry" "is" "cold" "+")
triple8
Erin is not cold.
False
1
inv-proof
[(triple3)]
("Erin" "is" "cold" "-")
triple3
Harry is white.
True
2
proof
[(((triple10) -> rule1))]
("Harry" "is" "white" "+")
((triple10) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple2) -> rule2))]
("Charlie" "is" "white" "-")
((triple2) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Charlie is blue.[(triple1)] Charlie is red.[(triple2)] Erin is cold.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple6) -> rule1))] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is smart.[(triple10)] @1: Charlie is white.[(((triple2) -> rule2))] Harry is white.[(((triple10) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple6) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Charlie is white.
("Charlie" "is" "white" "+")
((triple2) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple10) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1