Fiona is big. Fiona is not blue. Fiona is cold. Fiona is furry. Fiona is red. Fiona is smart. Fiona is young. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is red. Gary is smart. Gary is young. Harry is cold. Harry is young. All red, smart people are young. If Harry is red then Harry is furry. If Harry is cold then Harry is young. If Fiona is cold then Fiona is big. If Gary is red and Gary is big then Gary is smart. If Gary is furry and Gary is not big then Gary is smart.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
All red, smart people are young.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If Harry is red then Harry is furry.
((("Harry" "is" "red" "+")) -> ("Harry" "is" "furry" "+"))
If Harry is cold then Harry is young.
((("Harry" "is" "cold" "+")) -> ("Harry" "is" "young" "+"))
If Fiona is cold then Fiona is big.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "big" "+"))
If Gary is red and Gary is big then Gary is smart.
((("Gary" "is" "red" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "smart" "+"))
If Gary is furry and Gary is not big then Gary is smart.
((("Gary" "is" "furry" "+") ("Gary" "is" "big" "~")) -> ("Gary" "is" "smart" "+"))
Fiona is young.
True
1
proof
[(triple7 OR ((triple5 triple6) -> rule1))]
("Fiona" "is" "young" "+")
triple7
((triple5 triple6) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is not furry.
False
1
inv-proof
[(triple11)]
("Gary" "is" "furry" "-")
triple11
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Fiona is big.[(triple1 OR ((triple3) -> rule4))] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is not blue.[(triple2)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple5 triple6) -> rule1))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is red.[(triple12)] Gary is smart.[(triple13 OR ((triple12 triple8) -> rule5))] Gary is young.[(triple14 OR ((triple12 triple13) -> rule1) OR ((triple12 ((triple12 triple8) -> rule5)) -> rule1))] Harry is cold.[(triple15)] Harry is young.[(triple16 OR ((triple15) -> rule3))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple3) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
((triple5 triple6) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Gary is smart.
("Gary" "is" "smart" "+")
triple13
((triple12 triple8) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple14
((triple12 triple13) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple12 ((triple12 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple15) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1