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