Bob is big. Bob is kind. Bob is red. Bob is white. Charlie is not big. Charlie is cold. Charlie is rough. Fiona is kind. Fiona is rough. Fiona is young. Harry is cold. Harry is rough. Red, kind people are not cold. Big, red people are white. Cold, red people are not white. If Charlie is big then Charlie is white. Cold, kind people are rough. Cold people are rough. If Fiona is kind and Fiona is big then Fiona is not white. If someone is white and not young then they are not big.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Red, kind people are not cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
Big, red people are white.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Cold, red people are not white.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "-"))
If Charlie is big then Charlie is white.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "white" "+"))
Cold, kind people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is kind and Fiona is big then Fiona is not white.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "white" "-"))
If someone is white and not young then they are not big.
((("someone" "is" "white" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "big" "-"))
Harry is cold.
True
1
proof
[(triple11)]
("Harry" "is" "cold" "+")
triple11
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "white" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4 OR ((triple1 triple3) -> rule2))] Charlie is cold.[(triple6)] Charlie is not big.[(triple5)] Charlie is rough.[(triple7 OR ((triple6) -> rule6))] Fiona is kind.[(triple8)] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] Harry is cold.[(triple11)] Harry is rough.[(triple12 OR ((triple11) -> rule6))] @1: Bob is not cold.[(((triple3 triple2) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
((triple1 triple3) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is not big.
("Charlie" "is" "big" "-")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
((triple6) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
((triple11) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Bob is not cold.
("Bob" "is" "cold" "-")
((triple3 triple2) -> (rule1 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1