Erin is big. Fiona is cold. Fiona is furry. Fiona is smart. Gary is cold. Gary is nice. Gary is smart. Gary is young. Harry is big. Harry is smart. If someone is young and nice then they are furry.
Erin is big.
("Erin" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is young and nice then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Fiona is furry.
True
1
proof
[(triple3)]
("Fiona" "is" "furry" "+")
triple3
Fiona is not cold.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "cold" "-")
triple2
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Erin is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is smart.[(triple4)] Gary is cold.[(triple5)] Gary is nice.[(triple6)] Gary is smart.[(triple7)] Gary is young.[(triple8)] Harry is big.[(triple9)] Harry is smart.[(triple10)] @1: Gary is furry.[(((triple8 triple6) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
((triple8 triple6) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1