Erin is cold. Erin is white. Erin is not young. Fiona is cold. Fiona is not quiet. Fiona is red. Harry is blue. Harry is cold. Harry is red. Harry is not young. Cold things are blue. All big things are blue.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not young.
("Harry" "is" "young" "-")
Cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Fiona is not quiet.
True
1
proof
[(triple5)]
("Fiona" "is" "quiet" "-")
triple5
Erin is young.
False
1
inv-proof
[(triple3)]
("Erin" "is" "young" "+")
triple3
Fiona is blue.
True
2
proof
[(((triple4) -> rule1))]
("Fiona" "is" "blue" "+")
((triple4) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "blue" "-")
((triple1) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Erin is cold.[(triple1)] Erin is not young.[(triple3)] Erin is white.[(triple2)] Fiona is cold.[(triple4)] Fiona is not quiet.[(triple5)] Fiona is red.[(triple6)] Harry is blue.[(triple7 OR ((triple8) -> rule1))] Harry is cold.[(triple8)] Harry is not young.[(triple10)] Harry is red.[(triple9)] @1: Erin is blue.[(((triple1) -> rule1))] Fiona is blue.[(((triple4) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is not young.
("Erin" "is" "young" "-")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
((triple8) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is not young.
("Harry" "is" "young" "-")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Erin is blue.
("Erin" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple4) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1