Anne is blue. Anne is kind. Anne is nice. Anne is red. Erin is cold. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is young. Harry is blue. Harry is cold. Harry is kind. Harry is nice. If something is nice then it is kind. All green, cold things are red. Kind, red things are cold.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If something is nice then it is kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All green, cold things are red.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Kind, red things are cold.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Harry is blue.
True
1
proof
[(triple12)]
("Harry" "is" "blue" "+")
triple12
Harry is not blue.
False
1
inv-proof
[(triple12)]
("Harry" "is" "blue" "-")
triple12
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple3) -> rule1))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Erin is cold.[(triple5)] Fiona is cold.[(triple6 OR ((triple8 triple10) -> rule3) OR ((((triple9) -> rule1) triple10) -> rule3))] Fiona is green.[(triple7)] Fiona is kind.[(triple8 OR ((triple9) -> rule1))] Fiona is nice.[(triple9)] Fiona is red.[(triple10 OR ((triple7 triple6) -> rule2))] Fiona is young.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is kind.[(triple14 OR ((triple15) -> rule1))] Harry is nice.[(triple15)] @1: Anne is cold.[(((triple2 triple4) -> rule3) OR ((((triple3) -> rule1) triple4) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple3) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
((triple8 triple10) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple9) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
((triple9) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
((triple7 triple6) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
((triple15) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Anne is cold.
("Anne" "is" "cold" "+")
((triple2 triple4) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple3) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2