Fiona is blue. Fiona is red. Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is young. All quiet things are red. If something is red and cold then it is white. If something is young and red then it is white. If something is cold then it is blue. Quiet, cold things are blue. If Fiona is red and Fiona is quiet then Fiona is blue. All young, cold things are white. Kind, cold things are white.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
All quiet things are red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If something is red and cold then it is white.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is young and red then it is white.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
If something is cold then it is blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
Quiet, cold things are blue.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If Fiona is red and Fiona is quiet then Fiona is blue.
((("Fiona" "is" "red" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "blue" "+"))
All young, cold things are white.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Kind, cold things are white.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Fiona is red.
True
1
proof
[(triple2)]
("Fiona" "is" "red" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
Harry is red.
True
2
proof
[(((triple6) -> rule1))]
("Harry" "is" "red" "+")
((triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple6) -> rule1))]
("Harry" "is" "red" "-")
((triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Fiona is blue.[(triple1)] Fiona is red.[(triple2)] Harry is blue.[(triple3 OR ((triple4) -> rule4) OR ((triple6 triple4) -> rule5))] Harry is cold.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)] @1: Harry is red.[(((triple6) -> rule1))] Harry is white.[(((triple5 triple4) -> rule8) OR ((triple7 triple4) -> rule7) OR ((triple7 ((triple6) -> rule1)) -> rule3) OR ((((triple6) -> rule1) triple4) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Harry is blue.
("Harry" "is" "blue" "+")
triple3
((triple4) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple6 triple4) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
((triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple5 triple4) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple7 triple4) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple7 ((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple6) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2