Charlie is big. Charlie is cold. Erin is big. Erin is cold. Erin is quiet. Erin is red. Fiona is big. Fiona is furry. Fiona is nice. Fiona is quiet. Gary is cold. Gary is nice. If Charlie is furry and Charlie is young then Charlie is big. If Charlie is furry and Charlie is quiet then Charlie is nice. If someone is quiet then they are furry. If Charlie is quiet and Charlie is cold then Charlie is furry. Nice people are young. If someone is young and furry then they are nice. Nice, red people are young. All cold, quiet people are big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Charlie is furry and Charlie is young then Charlie is big.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "young" "+")) -> ("Charlie" "is" "big" "+"))
If Charlie is furry and Charlie is quiet then Charlie is nice.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "nice" "+"))
If someone is quiet then they are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Charlie is quiet and Charlie is cold then Charlie is furry.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "furry" "+"))
Nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and furry then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Nice, red people are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
All cold, quiet people are big.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Gary is cold.
True
1
proof
[(triple11)]
("Gary" "is" "cold" "+")
triple11
Gary is not nice.
False
1
inv-proof
[(triple12)]
("Gary" "is" "nice" "-")
triple12
Gary is young.
True
2
proof
[(((triple12) -> rule5))]
("Gary" "is" "young" "+")
((triple12) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple9) -> rule5))]
("Fiona" "is" "young" "-")
((triple9) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "furry" "-")
Erin is nice.
Unknown
rconc
[@2: Erin is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Erin" "is" "nice" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Erin is big.[(triple3 OR ((triple4 triple5) -> rule8))] Erin is cold.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Fiona is big.[(triple7)] Fiona is furry.[(triple8 OR ((triple10) -> rule3))] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Gary is cold.[(triple11)] Gary is nice.[(triple12)] @1: Erin is furry.[(((triple5) -> rule3))] Fiona is young.[(((triple9) -> rule5))] Gary is young.[(((triple12) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
((triple4 triple5) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
((triple10) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Erin is furry.
("Erin" "is" "furry" "+")
((triple5) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple9) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple12) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1