Charlie is round. Charlie is smart. Charlie is young. Fiona is nice. Fiona is smart. Fiona is white. Harry is blue. Harry is kind. Harry is nice. Harry is round. Harry is white. Harry is young. All smart people are round. All young, nice people are smart. If Fiona is white then Fiona is young.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
All young, nice people are smart.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is white then Fiona is young.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "young" "+"))
Fiona is smart.
True
1
proof
[(triple5 OR ((((triple6) -> rule3) triple4) -> rule2))]
("Fiona" "is" "smart" "+")
triple5
((((triple6) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not smart.
False
1
inv-proof
[(triple5 OR ((((triple6) -> rule3) triple4) -> rule2))]
("Fiona" "is" "smart" "-")
triple5
((((triple6) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Harry is smart.
True
3
proof
[(((triple12 triple9) -> rule2))]
("Harry" "is" "smart" "+")
((triple12 triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
3
inv-proof
[(((triple12 triple9) -> rule2))]
("Harry" "is" "smart" "-")
((triple12 triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is round.[(triple1 OR ((triple2) -> rule1))] Charlie is smart.[(triple2)] Charlie is young.[(triple3)] Fiona is nice.[(triple4)] Fiona is smart.[(triple5 OR ((((triple6) -> rule3) triple4) -> rule2))] Fiona is white.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10 OR ((((triple12 triple9) -> rule2)) -> rule1))] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Fiona is round.[(((triple5) -> rule1) OR ((((((triple6) -> rule3) triple4) -> rule2)) -> rule1))] Fiona is young.[(((triple6) -> rule3))] Harry is smart.[(((triple12 triple9) -> rule2))]
Charlie is round.
("Charlie" "is" "round" "+")
triple1
((triple2) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
((((triple6) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
((((triple12 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
((triple5) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((((triple6) -> (rule3 % int3)) triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((triple6) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple12 triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1