Charlie is smart. Erin is green. Erin is round. Erin is not smart. Erin is white. Erin is young. Fiona is green. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Fiona is white. Harry is nice. Harry is smart. Harry is white. All round, smart things are young. If something is smart and not kind then it is white. If Erin is kind and Erin is young then Erin is smart. White things are green. If something is kind and not white then it is not green. Smart things are green. All green, young things are nice. If something is white and not young then it is nice.
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
All round, smart things are young.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If something is smart and not kind then it is white.
((("something" "is" "smart" "+") ("something" "is" "kind" "~")) -> ("something" "is" "white" "+"))
If Erin is kind and Erin is young then Erin is smart.
((("Erin" "is" "kind" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "smart" "+"))
White things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is kind and not white then it is not green.
((("something" "is" "kind" "+") ("something" "is" "white" "~")) -> ("something" "is" "green" "-"))
Smart things are green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
All green, young things are nice.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is white and not young then it is nice.
((("something" "is" "white" "+") ("something" "is" "young" "~")) -> ("something" "is" "nice" "+"))
Erin is white.
True
1
proof
[(triple5)]
("Erin" "is" "white" "+")
triple5
Fiona is not white.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "white" "-")
triple12
Harry is green.
True
2
proof
[(((triple14) -> rule6) OR ((triple15) -> rule4))]
("Harry" "is" "green" "+")
((triple14) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple15) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fiona is not young.
False
3
inv-proof
[(((triple10 triple11) -> rule1))]
("Fiona" "is" "young" "-")
((triple10 triple11) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is smart.[(triple1)] Erin is green.[(triple2 OR ((triple5) -> rule4))] Erin is not smart.[(triple4)] Erin is round.[(triple3)] Erin is white.[(triple5)] Erin is young.[(triple6)] Fiona is green.[(triple7 OR ((triple11) -> rule6) OR ((triple12) -> rule4))] Fiona is kind.[(triple8)] Fiona is nice.[(triple9 OR ((triple7 ((triple10 triple11) -> rule1)) -> rule7) OR ((((triple11) -> rule6) ((triple10 triple11) -> rule1)) -> rule7) OR ((((triple12) -> rule4) ((triple10 triple11) -> rule1)) -> rule7))] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] Harry is nice.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Charlie is green.[(((triple1) -> rule6))] Erin is nice.[(((triple2 triple6) -> rule7) OR ((((triple5) -> rule4) triple6) -> rule7))] Fiona is young.[(((triple10 triple11) -> rule1))] Harry is green.[(((triple14) -> rule6) OR ((triple15) -> rule4))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
((triple5) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not smart.
("Erin" "is" "smart" "-")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
((triple11) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple12) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
((triple7 ((triple10 triple11) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple10 triple11) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple12) -> (rule4 % int3)) ((triple10 triple11) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Charlie is green.
("Charlie" "is" "green" "+")
((triple1) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple2 triple6) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple5) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((triple10 triple11) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple14) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple15) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1