Dave is furry. Erin is furry. Erin is nice. Erin is young. Fiona is blue. Fiona is white. Fiona is young. Gary is blue. Gary is furry. Gary is kind. Gary is white. Gary is young. All blue, nice things are young. If something is blue and furry then it is cold. If Erin is kind then Erin is nice. All blue, furry things are young. Blue, cold things are young. Furry, kind things are cold.
Dave is furry.
("Dave" "is" "furry" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All blue, nice things are young.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is blue and furry then it is cold.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If Erin is kind then Erin is nice.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "nice" "+"))
All blue, furry things are young.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
Blue, cold things are young.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Furry, kind things are cold.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Erin is young.
True
1
proof
[(triple4)]
("Erin" "is" "young" "+")
triple4
Erin is not furry.
False
1
inv-proof
[(triple2)]
("Erin" "is" "furry" "-")
triple2
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is furry.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple8 triple9) -> rule4) OR ((triple8 ((triple8 triple9) -> rule2)) -> rule5) OR ((triple8 ((triple9 triple10) -> rule6)) -> rule5))] @1: Gary is cold.[(((triple8 triple9) -> rule2) OR ((triple9 triple10) -> rule6))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple8 triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple8 ((triple8 triple9) -> (rule2 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((triple8 ((triple9 triple10) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 triple9) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple9 triple10) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1