Anne is young. Bob is red. Dave is blue. Fiona is red. If Bob is smart and Bob is red then Bob is big. Blue people are cold. Young, green people are big.
Anne is young.
("Anne" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If Bob is smart and Bob is red then Bob is big.
((("Bob" "is" "smart" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "big" "+"))
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Young, green people are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Dave is blue.
True
1
proof
[(triple3)]
("Dave" "is" "blue" "+")
triple3
Bob is not red.
False
1
inv-proof
[(triple2)]
("Bob" "is" "red" "-")
triple2
Dave is cold.
True
2
proof
[(((triple3) -> rule2))]
("Dave" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple3) -> rule2))]
("Dave" "is" "cold" "-")
((triple3) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Anne is cold.
Unknown
rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is young.[(triple1)] Bob is red.[(triple2)] Dave is blue.[(triple3)] Fiona is red.[(triple4)] @1: Dave is cold.[(((triple3) -> rule2))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1