Bob is big. Bob is kind. Bob is nice. Bob is round. Bob is smart. Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Harry is kind. Smart, nice people are kind. Big people are round. All kind, young people are nice. All young people are smart. If someone is young then they are smart. If Harry is nice and Harry is kind then Harry is smart.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Smart, nice people are kind.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All kind, young people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
All young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If someone is young then they are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If Harry is nice and Harry is kind then Harry is smart.
((("Harry" "is" "nice" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "smart" "+"))
Fiona is kind.
True
1
proof
[(triple8)]
("Fiona" "is" "kind" "+")
triple8
Bob is not round.
False
1
inv-proof
[(triple4 OR ((triple1) -> rule2))]
("Bob" "is" "round" "-")
triple4
((triple1) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "smart" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2 OR ((triple5 triple3) -> rule1))] Bob is nice.[(triple3)] Bob is round.[(triple4 OR ((triple1) -> rule2))] Bob is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Harry is kind.[(triple10)] @1: Fiona is round.[(((triple6) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
((triple5 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
((triple1) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
((triple6) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1