Bob is big. Bob is cold. Bob is young. Charlie is big. Charlie is red. Charlie is rough. Charlie is young. Fiona is not cold. Fiona is not red. Fiona is young. All red people are nice. Big people are red. Kind people are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is young.
("Fiona" "is" "young" "+")
All red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Charlie is red.
True
1
proof
[(triple5 OR ((triple4) -> rule2))]
("Charlie" "is" "red" "+")
triple5
((triple4) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Charlie is nice.
True
2
proof
[(((triple5) -> rule1) OR ((((triple4) -> rule2)) -> rule1))]
("Charlie" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Bob is not red.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "red" "-")
((triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Bob" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not nice.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Bob" "is" "nice" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is young.[(triple3)] Charlie is big.[(triple4)] Charlie is red.[(triple5 OR ((triple4) -> rule2))] Charlie is rough.[(triple6)] Charlie is young.[(triple7)] Fiona is not cold.[(triple8)] Fiona is not red.[(triple9)] Fiona is young.[(triple10)] @1: Bob is red.[(((triple1) -> rule2))] Charlie is nice.[(((triple5) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] @2: Bob is nice.[(((((triple1) -> rule2)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
((triple4) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple8
Fiona is not red.
("Fiona" "is" "red" "-")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2