Fiona is cold. Fiona is furry. Fiona is red. Fiona is smart. Gary is cold. Gary is green. Gary is red. Gary is smart. Gary is white. Gary is young. All red, cold people are furry. Green, cold people are young. Green, furry people are young.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All red, cold people are furry.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Green, cold people are young.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Green, furry people are young.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Gary is cold.
True
1
proof
[(triple5)]
("Gary" "is" "cold" "+")
triple5
Gary is not white.
False
1
inv-proof
[(triple9)]
("Gary" "is" "white" "-")
triple9
Gary is furry.
True
3
proof
[(((triple7 triple5) -> rule1))]
("Gary" "is" "furry" "+")
((triple7 triple5) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
3
inv-proof
[(((triple7 triple5) -> rule1))]
("Gary" "is" "furry" "-")
((triple7 triple5) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2 OR ((triple3 triple1) -> rule1))] Fiona is red.[(triple3)] Fiona is smart.[(triple4)] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is red.[(triple7)] Gary is smart.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10 OR ((triple6 triple5) -> rule2) OR ((triple6 ((triple7 triple5) -> rule1)) -> rule3))] @1: Gary is furry.[(((triple7 triple5) -> rule1))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
((triple3 triple1) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
((triple6 triple5) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple6 ((triple7 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((triple7 triple5) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1