Charlie is nice. Charlie is rough. Erin is big. Erin is blue. Fiona is not blue. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is round. Gary is big. Gary is blue. Gary is not cold. Nice people are not cold. If someone is rough and not cold then they are furry.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Nice people are not cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "-"))
If someone is rough and not cold then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "furry" "+"))
Charlie is nice.
True
1
proof
[(triple1)]
("Charlie" "is" "nice" "+")
triple1
Erin is not blue.
False
1
inv-proof
[(triple4)]
("Erin" "is" "blue" "-")
triple4
Fiona is not cold.
True
2
proof
[(((triple7) -> rule1))]
("Fiona" "is" "cold" "-")
((triple7) -> (rule1 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Charlie is cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is furry.
True
4
proof
[(((triple2 ((triple1) -> rule1)) -> rule2))]
("Charlie" "is" "furry" "+")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not cold.
("Charlie" "is" "cold" "-")
int2
Charlie is not furry.
False
4
inv-proof
[(((triple2 ((triple1) -> rule1)) -> rule2))]
("Charlie" "is" "furry" "-")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not cold.
("Charlie" "is" "cold" "-")
int2
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Charlie is nice.[(triple1)] Charlie is rough.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Fiona is furry.[(triple6 OR ((triple8 ((triple7) -> rule1)) -> rule2))] Fiona is nice.[(triple7)] Fiona is not blue.[(triple5)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is not cold.[(triple12)] @1: Charlie is not cold.[(((triple1) -> rule1))] Fiona is not cold.[(((triple7) -> rule1))] @2: Charlie is furry.[(((triple2 ((triple1) -> rule1)) -> rule2))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((triple8 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not cold.
("Fiona" "is" "cold" "-")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is not cold.
("Gary" "is" "cold" "-")
triple12
Charlie is not cold.
("Charlie" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Fiona is not cold.
("Fiona" "is" "cold" "-")
((triple7) -> (rule1 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not cold.
("Charlie" "is" "cold" "-")
int2