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