Bob is quiet. Erin is young. Fiona is big. Gary is quiet. If Fiona is young and Fiona is red then Fiona is big. Red people are rough. If Erin is red then Erin is quiet. Quiet people are red. All red, quiet people are big. All big people are red.
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Fiona is young and Fiona is red then Fiona is big.
((("Fiona" "is" "young" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "big" "+"))
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If Erin is red then Erin is quiet.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "quiet" "+"))
Quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
All red, quiet people are big.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Erin is young.
True
1
proof
[(triple2)]
("Erin" "is" "young" "+")
triple2
Fiona is not big.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "big" "-")
triple3
Fiona is red.
True
2
proof
[(((triple3) -> rule6))]
("Fiona" "is" "red" "+")
((triple3) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple4) -> rule4))]
("Gary" "is" "red" "-")
((triple4) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Bob is rough.
True
3
proof
[(((((triple1) -> rule4)) -> rule2))]
("Bob" "is" "rough" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not rough.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule2))]
("Bob" "is" "rough" "-")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Erin is not quiet.
Unknown
inv-rconc
[@3: Erin is quiet.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule5 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is red.
Unknown
rconc
[@4: Erin is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule6 <- rule5 <- FAIL)]]
("Erin" "is" "red" "+")
Erin is not big.
Unknown
inv-rconc
[@3: Erin is big.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule4 <- FAIL)]]
("Erin" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Bob is quiet.[(triple1)] Erin is young.[(triple2)] Fiona is big.[(triple3)] Gary is quiet.[(triple4)] @1: Bob is red.[(((triple1) -> rule4))] Fiona is red.[(((triple3) -> rule6))] Gary is red.[(((triple4) -> rule4))] @2: Bob is big.[(((((triple1) -> rule4) triple1) -> rule5))] Bob is rough.[(((((triple1) -> rule4)) -> rule2))] Fiona is rough.[(((((triple3) -> rule6)) -> rule2))] Gary is big.[(((((triple4) -> rule4) triple4) -> rule5))] Gary is rough.[(((((triple4) -> rule4)) -> rule2))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple3) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple4) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple4) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2