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