Bob is big. Dave is round. Fiona is nice. Harry is blue. Round, red people are blue. All cold people are nice. Red, nice people are cold. Big people are blue. If Dave is round then Dave is big. All round, red people are nice. All blue people are rough. Big, nice people are cold.
Bob is big.
("Bob" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Round, red people are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Red, nice people are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If Dave is round then Dave is big.
((("Dave" "is" "round" "+")) -> ("Dave" "is" "big" "+"))
All round, red people are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
All blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Big, nice people are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Fiona is not nice.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "nice" "-")
triple3
Dave is big.
True
2
proof
[(((triple2) -> rule5))]
("Dave" "is" "big" "+")
((triple2) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple1) -> rule4))]
("Bob" "is" "blue" "-")
((triple1) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Dave is not cold.
Unknown
inv-rconc
[@3: Dave is cold.[CWA. Example of deepest failure = (rule8 <- rule2 <- rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "cold" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is big.[(triple1)] Dave is round.[(triple2)] Fiona is nice.[(triple3)] Harry is blue.[(triple4)] @1: Bob is blue.[(((triple1) -> rule4))] Dave is big.[(((triple2) -> rule5))] Harry is rough.[(((triple4) -> rule7))] @2: Bob is rough.[(((((triple1) -> rule4)) -> rule7))] Dave is blue.[(((((triple2) -> rule5)) -> rule4))] @3: Dave is rough.[(((((((triple2) -> rule5)) -> rule4)) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple2) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple4) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3