Bob is big. Bob is kind. Bob is quiet. Bob is smart. Bob is young. Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is young. All green people are young. If Fiona is young then Fiona is round. If someone is green and round then they are big. If someone is green then they are young. Green, round people are young. All young people are kind. If someone is quiet then they are smart. If Bob is kind and Bob is young then Bob is round.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If Fiona is young then Fiona is round.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "round" "+"))
If someone is green and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Green, round people are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
All young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is quiet then they are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If Bob is kind and Bob is young then Bob is round.
((("Bob" "is" "kind" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "round" "+"))
Fiona is round.
True
1
proof
[(triple14 OR ((triple16) -> rule2))]
("Fiona" "is" "round" "+")
triple14
((triple16) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Bob is not smart.
False
1
inv-proof
[(triple4 OR ((triple3) -> rule7))]
("Bob" "is" "smart" "-")
triple4
((triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "big" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2 OR ((triple5) -> rule6))] Bob is quiet.[(triple3)] Bob is smart.[(triple4 OR ((triple3) -> rule7))] Bob is young.[(triple5)] Charlie is big.[(triple6 OR ((triple7 triple10) -> rule3))] Charlie is green.[(triple7)] Charlie is kind.[(triple8 OR ((triple12) -> rule6) OR ((((triple7) -> rule1)) -> rule6) OR ((((triple7) -> rule4)) -> rule6) OR ((((triple7 triple10) -> rule5)) -> rule6))] Charlie is quiet.[(triple9)] Charlie is round.[(triple10)] Charlie is smart.[(triple11 OR ((triple9) -> rule7))] Charlie is young.[(triple12 OR ((triple7) -> rule1) OR ((triple7) -> rule4) OR ((triple7 triple10) -> rule5))] Fiona is quiet.[(triple13)] Fiona is round.[(triple14 OR ((triple16) -> rule2))] Fiona is smart.[(triple15 OR ((triple13) -> rule7))] Fiona is young.[(triple16)] @1: Bob is round.[(((triple2 triple5) -> rule8) OR ((((triple5) -> rule6) triple5) -> rule8))] Fiona is kind.[(((triple16) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
((triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
((triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple6
((triple7 triple10) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
((triple12) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple7 triple10) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
((triple9) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple12
((triple7) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple7) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple7 triple10) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
((triple16) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
((triple13) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple16
Bob is round.
("Bob" "is" "round" "+")
((triple2 triple5) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple5) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple16) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1