Bob is green. Bob is not nice. Bob is quiet. Bob is smart. Charlie is green. Charlie is nice. Charlie is quiet. Fiona is not green. Fiona is nice. Fiona is red. Harry is quiet. Harry is round. If something is nice and quiet then it is smart.
Bob is green.
("Bob" "is" "green" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is nice and quiet then it is smart.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
Bob is not nice.
True
1
proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Bob is nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "+")
triple2
Charlie is smart.
True
3
proof
[(((triple6 triple7) -> rule1))]
("Charlie" "is" "smart" "+")
((triple6 triple7) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is not smart.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("Charlie" "is" "smart" "-")
((triple6 triple7) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "smart" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "smart" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Bob is green.[(triple1)] Bob is not nice.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Charlie is green.[(triple5)] Charlie is nice.[(triple6)] Charlie is quiet.[(triple7)] Fiona is nice.[(triple9)] Fiona is not green.[(triple8)] Fiona is red.[(triple10)] Harry is quiet.[(triple11)] Harry is round.[(triple12)] @1: Charlie is smart.[(((triple6 triple7) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is not nice.
("Bob" "is" "nice" "-")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is not green.
("Fiona" "is" "green" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple6 triple7) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1