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