Bob is red. Charlie is kind. Charlie is red. Charlie is young. Erin is nice. Fiona is big. Fiona is not young. All young things are not big.
Bob is red.
("Bob" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
All young things are not big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "-"))
Charlie is kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Charlie is not young.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "young" "-")
triple4
Charlie is not big.
True
2
proof
[(((triple4) -> rule1))]
("Charlie" "is" "big" "-")
((triple4) -> (rule1 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1
Charlie is big.
False
2
inv-proof
[(((triple4) -> rule1))]
("Charlie" "is" "big" "+")
((triple4) -> (rule1 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is red.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Charlie is young.[(triple4)] Erin is nice.[(triple5)] Fiona is big.[(triple6)] Fiona is not young.[(triple7)] @1: Charlie is not big.[(((triple4) -> rule1))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is not young.
("Fiona" "is" "young" "-")
triple7
Charlie is not big.
("Charlie" "is" "big" "-")
((triple4) -> (rule1 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1